Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
611	Overview Model Checking Approaches Algorithmic Verification Comp4151 Lecture 11-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:09 Uppaal Model Checker Finite-state machine Ansgar Clock Christianity Middle Ages Automata theory Model checkers Model checking
612	Outline Model checking real-time systems Algorithmic Verification Comp4151 Lecture 12-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:07 Models of computation Hybrid automaton Model checking Formal methods Computer science Finite-state machine Hybrid system Automata theory Differential equations Theoretical computer science
613	Czech Technical University in Prague Faculty of Electrical Engineering Department of Computer Science and Engineering Automaton-based Backward Pattern Matching Doctoral Thesis Add to Reading List Source URL: www.stringology.org Language: English - Date: 2010-09-23 05:47:11 Formal languages Applied mathematics Models of computation Pattern matching Combinatorics on words String searching algorithm Deterministic finite automaton Approximate string matching Regular expression Automata theory Theoretical computer science Mathematics
614	RE-Tree: An Efficient Index Structure for Regular Expressions Chee-Yong Chan, Minos Garofalakis, Rajeev Rastogi Bell Labs, Lucent Technologies cychan,minos,rastogi @research.bell-labs.com Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 02:03:00 Deterministic finite automaton Finite-state machine Nondeterministic finite automaton Regular expression Alphabet Büchi automaton Automata theory Theory of computation Theoretical computer science
615	TUM ¨ R INFORMATIK INSTITUT FU Runtime verification revisited Oliver Arafat, Andreas Bauer, Martin Leucker, Christian Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:37 Formal languages Computer science Applied mathematics Linear temporal logic Temporal logic Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Model theory Automata theory Theoretical computer science Models of computation
616	Written in[removed]This document was converted from an old WordPerfect format. The resulting format may be distorted and the quality of the figures is rather poor. As it is a draft, it may contain some missprints snd other Add to Reading List Source URL: www.raczynski.com Language: English - Date: 2005-09-03 00:04:33 Applied mathematics Computer simulation Simulation language Simulation Computer science Scientific modelling SP-DEVS AMESim Automata theory DEVS Science
617	Aspect-Oriented Development Using Protocol Modeling Ashley McNeile1 and Ella Roubtsova2 1 Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK Add to Reading List Source URL: www.metamaxim.com Language: English - Date: 2010-05-16 13:32:29 UML diagrams Object-oriented programming Automata theory Digital electronics Theoretical computer science Finite-state machine Mixin UML state machine ECO Software engineering Models of computation Computing
618	Types Benjamin C. Pierce University of Pennsylvania Programming Languages Mentoring Workshop, Jan. 2012 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-01-24 16:24:25 Formal sciences Association for Computing Machinery Type theory Functional languages Principles of Programming Languages Formal language Formal methods Automata theory Programming language Computing Software engineering Programming language theory
619	New Techniques for Regular Expression Searching Gonzalo Navarro† ∗ Mathieu Raffinot‡ Add to Reading List Source URL: www.dcc.uchile.cl Language: English - Date: 2008-08-14 13:15:26 Models of computation Computer science Combinatorics Combinatorics on words Nondeterministic finite automaton Regular expressions Deterministic finite automaton String searching algorithm Regular language Automata theory Formal languages Theoretical computer science
620	Elastic Infrastructures Pankaj Kaushal flipkart.com whoami Add to Reading List Source URL: speakerd.s3.amazonaws.com Language: English - Date: 2014-03-05 00:05:24 Automata theory DEVS Virtualization MySQL Cluster Flipkart MySQL Software Computing

UPDATE